<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" >
    <head>
        <title>Capture dump</title>
   
        <script src = "Dump.js"></script>
    </head>
    <body style="background-color:#FAFAFA;">
        <h1>Capture dump:</h1>
        
        <font id = "dump_counter_font" color="green">
        </font>
        <input type = "button" id = "load_dump_button" value = "Load dump" style="display:none;"/>

        <textarea style="height:700px; width:900px" id="dump_textarea"></textarea>
    </body>
</html>